1·As no trials were identified, no formal analysis was performed.
由于没有找到相关的试验，因此没有进行正式的分析。
2·Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是一种新兴的密码协议形式化分析工具。
3·In other words, the programmer does not stand to benefit from breaking the formal analysis.
换句话说，程序设计者绝不会因破坏形式分析而获得好处。
4·The function of formal analysis in the design of the authentication protocols is discussed;
探讨了形式化分析在设计密码认证协议中的作用；
5·In this article we enumerate, using an example, the promises and pitfalls of formal analysis.
本文使用一个例子列举出形式分析给我们提供的承诺和存在的陷阱。
6·Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.
采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
7·In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
8·There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
存在这样一种风险，即实现过程中引入的更改不会经过正式分析和管理流程。
9·For these two algorithms, we present formal analysis of optimality, and experimental results show that the algorithms are efficient.
文中给出了两算法优化性能的分析，实验结果也显示这些算法的效果是明显而有效的。
10·But surely there are better examples - start ups with measurable revenues and solid business plans that lend themselves to formal analysis?
不过，肯定有更好的例子，比如有具体收入和切实经营计划、进而可以正儿八经地展开分析的初创公司？